package org.thss.petri.gef.actions;

import org.eclipse.ui.ISharedImages;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.actions.RetargetAction;

public class FirePetriNetRetargetAction extends RetargetAction {
	
	public FirePetriNetRetargetAction(){
		super("fire_petrinet_action","Fire Petri Net");
		setToolTipText("Fire the petri net");
		ISharedImages sharedImages = PlatformUI.getWorkbench().getSharedImages();
		setImageDescriptor(sharedImages.getImageDescriptor(ISharedImages.IMG_TOOL_UP));
		setDisabledImageDescriptor(sharedImages.getImageDescriptor(ISharedImages.IMG_TOOL_UP_DISABLED));
	}

}
